Nuprl Lemma : decidable__false 13,42
Dec(False) 
latex

Upcore 2, core 2
Definitionst  T, False
Lemmasfalse wf

origin